Fixpoint Extensions of Temporal Description Logics

Fixpoints in Temporal Description Logics

We study a decidable fixpoint extension of temporal description logics. To this end we employ and extend decidability results obtained for various temporally first-order monodic extensions of (firstorder) description logics. Using these techniques we obtain decidability and tight complexity results for various fixpoint extensions of temporal description logics.

Logical Data Expiration for Fixpoint Extensions of Temporal Logics

Craig Interpolation for Linear Temporal Languages

We study Craig interpolation for fragments and extensions of propositional linear temporal logic (PLTL). We consider various fragments of PLTL obtained by restricting the set of temporal connectives and, for each of these fragments, we identify its smallest extension that has Craig interpolation. Depending on the underlying set of temporal operators, this extension turns out to be one of the fo...

Description Logics Diego Calvanese

This chapter covers extensions of the basic description logics introduced in Chapter 2 by very expressive constructs that require advanced reasoning techniques. In particular, we study reasoning in description logics that include general inclusion axioms, inverse roles, number-restrictions, reflexive-transitive closure of roles, fixpoint constructs for recursive definitions, and relations of ar...

Description Logics and Time

In this survey paper, we begin by reviewing brief history of Description Logics developed from classical logics, semantic network and frames in demand of knowledge representation. We then introduce the logic language ALC which is the basic form of description logic and some of its possible extensions. The usefulness of description logics for database will be briefly pointed out as well. Finally...